- простое высказывание
- simple sentence мат., simple statement
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
таблица истинности — таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В классической математической логике предполагается, что каждое простое (не содержащее логических… … Словарь терминов логики
логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… … Словарь терминов логики
логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
пропозициональная логика — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
АПОФАНЗИС — (греч. ἀπόφανσις, букв. – заявление, утверждение) – в логике Аристотеля суждение – речь, в к рой посредством утверждения или отрицания полагается что либо как существующее или не существующее. Аристотель различает грамматич. (имя и глагол) и… … Философская энциклопедия
понятие — общее имя, имеющее относительно ясное и устойчивое содержание и сравнительно четко очерченный объем. П. являются, напр., дом , квадрат , молекула , кислород , атом , любовь , бесконечный ряд и т. п. Отчетливой границы между теми именами, которые… … Словарь терминов логики
КАТЕГОРИЧЕСКИЙ — (от греч. kategorein – высказывать) выражающий, утверждающий; безусловный в противоположность гипотетическому. Категорическое суждение есть не связанное какими либо условиями простое высказывание: железо тяжелое. Философский энциклопедический… … Философская энциклопедия
ВРЕМЕННАЯ ЛОГИКА — ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… … Философская энциклопедия
временная логика — ВРЕМЕННАЯ ЛОГИКА раздел неклассической логики; в ней изучаются рассуждения, построенные из суждений, выражаемых высказываниями с истинностными значениями, приуроченными к определенному времени. Ее возникновение (нач. 1950 х), а также во… … Энциклопедия эпистемологии и философии науки